Semi group and example